Μ operator - PDFSEARCH.IO - Document Search Engine

Μ operator
Results: 274

#	Item
11	A regeneration proof of the central limit theorem for uniformly ergodic Markov chains By AJAY JASRA Department of Mathematics, Imperial College London, SW7 2AZ, London, UK and Add to Reading List Source URL: probability.ca Language: English - Date: 2007-11-16 14:15:52 Markov processes Markov chain Μ operator
12	Well-Posedness of Initial Value Problems for Functional Differential and Algebraic Equations of Mixed Type H. J. Hupkes a,∗ E. Augeraud-V´eron b a Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2012-12-19 17:18:00 Method of characteristics Μ operator Fluid dynamics Spectral theory of ordinary differential equations Cnoidal wave Mathematical analysis Symbol Calculus
13	Discussion Paper SeriesOn the Continuous and Smooth Fit Principle for Optimal Stopping Problems in Spectrally Negative Lévy Models Masahiko Egami and Kazutoshi Yamazaki Add to Reading List Source URL: www-csfi.sigmath.es.osaka-u.ac.jp Language: English - Date: 2011-11-01 04:59:30 Function Μ operator Meijer G-function Mathematics Mathematical analysis Operator theory
14	Proceedings Template - WORD Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-06 20:08:32 Μ operator Punctuation SQL Data management Notation Computing FO Finite model theory
15	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
16	Applied Probability Trust (22 April 2004) ´ SCALE FUNCTIONS OF LEVY PROCESSES AND BUSY PERIODS OF FINITE CAPACITY M/GI/1 QUEUES Add to Reading List Source URL: ece.uwaterloo.ca Language: English - Date: 2004-04-22 02:33:54 Differential equations Laplace transform Transforms Fluid queue Spectral theory of ordinary differential equations Μ operator Mathematical analysis Fourier analysis Mathematics
17	Single switch surface hopping for molecular dynamics with transitions Clotilde Fermanian Kammerer∗ Laboratoire d’Analyse et de Math´ematiques Appliqu´ees, UMR 8050, Universit´e Paris Est, 94010 Cr´eteil, France Add to Reading List Source URL: www-m3.ma.tum.de Language: English - Date: 2010-05-06 15:36:51 Wigner quasi-probability distribution Wave function Momentum Operator Adiabatic theorem Partial differential equation Landau–Zener formula Hamiltonian Physics Quantum mechanics Μ operator
18	Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-11-13 08:55:05 Automated theorem proving Logic programming Unification Function Expected value Integration by substitution First-order logic Μ operator Mathematics Mathematical logic Functions and mappings
19	JMLR: Workshop and Conference Proceedings 34:124–138, 2014 Proceedings of the 12th ICGI Maximizing a Tree Series in the Representation Space Guillaume Rabusseau Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Probability theory Representation theory Integration by substitution Symbol Differential geometry Operator theory Spectral theory Μ operator Spectral theory of ordinary differential equations Mathematical analysis Mathematics Characteristic function
20	A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-22 18:17:38 Models of computation Denotational semantics Logic in computer science Μ operator CQL NDepend Stack Stream Relational algebra Computing Theoretical computer science Software engineering